Variety theorem for algebras with fuzzy orders
نویسندگان
چکیده
منابع مشابه
Birkhoff’s Variety Theorem with and without Free Algebras
For large signatures Σ we prove that Birkhoff’s Variety Theorem holds (i.e., equationally presentable collections of Σ-algebras are precisely those closed under limits, subalgebras, and quotient algebras) iff the universe of small sets is not measurable. Under that limitation Birkhoff’s Variety Theorem holds in fact for F -algebras of an arbitrary endofunctor F of the category Class of classes ...
متن کاملPartial Orders on Fuzzy Truth Value Algebras
The elements of the truth value algebra of type-2 fuzzy sets consist of all mappings of the unit interval into itself, with operations given by various convolutions of the pointwise operations. This algebra can be specialized and generalized in various interesting ways. First, we consider the more general case of all mappings of a bounded chain with an involution into a complete chain, and deli...
متن کاملConverse Lagrange Theorem Orders and Supersolvable Orders
For finite groups, we investigate both converse Lagrange theorem (CLT) orders and supersolvable (SS) orders, and see that the latter form a proper subset of the former. We focus on the difference between these two sets of orders, reformulate the work of earlier authors algorithmically, and construct a computer program to enumerate such NSS-CLT orders. We establish several results relating to NS...
متن کاملMV-algebras: a variety for magnitudes with archimedean units
Chang’s MV-algebras are, on the one hand, the algebras of the infinite-valued Lukasiewicz calculus and, on the other hand, they are categorically equivalent to abelian lattice-ordered groups with a distinguished strong unit, for short, unital `-groups. The latter are a modern mathematization of the time-honored euclidean magnitudes with an archimedean unit. While for magnitudes the unit is no l...
متن کاملAlgebras with fuzzy equalities
In our previous study, we were interested in the equational fragment of first-order fuzzy logic [2, 3]. It turned out that the models of the equational fragment (which we call algebras with fuzzy equalities) are interesting and natural structures by themselves. The present paper provides an introductory study to the structures of equational fragment of fuzzy logic. The paper is an excerpt from ...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Fuzzy Sets and Systems
سال: 2016
ISSN: 0165-0114
DOI: 10.1016/j.fss.2015.11.017